The Automorphism Tower
نویسندگان
چکیده
It is well-known that the automorphism towers of infinite centre-less groups of cardinality κ terminate in less than (2 κ) + steps. But an easy counting argument shows that (2 κ) + is not the best possible bound. However, in this paper, we will show that it is impossible to find an explicit better bound using ZF C.
منابع مشابه
On the Automorphism Tower of Free Nilpotent Groups
On the Automorphism Tower of Free Nilpotent Groups Martin Dimitrov Kassabov 2003 In this thesis I study the automorphism tower of free nilpo-tent groups. Our main tool in studying the automorphism tower is to embed every group as a lattice in some Lie group. Using known rigidity results the automorphism group of the discrete group can be embedded into the automorphism group of the Lie group. Th...
متن کاملIteratively Changing the Heights of Automorphism Towers
We extend the results of Hamkins and Thomas concerning the malleability of automorphism tower heights of groups by forcing. We show that any reasonable sequence of ordinals can be realized as the automorphism tower heights of a certain group in consecutive forcing extensions or ground models, as desired. For example, it is possible to increase the height of the automorphism tower by passing to ...
متن کاملThe Automorphism Tower of a Centerless Group (mostly) without Choice
For a centerless group G, we can define its automorphism tower. We define G: G = G, G = Aut (G) and for limit ordinals G = ⋃ α<δ G. Let τG be the ordinal when the sequence stabilizes. Thomas’ celebrated theorem says τG < ( 2 + and more. If we consider Thomas’ proof too set theoretical, we have here a shorter proof with little set theory. However, set theoretically we get a parallel theorem with...
متن کامل2 2 Fe b 20 06 Degrees of Rigidity for Souslin Trees ∗ Gunter
We investigate various strong notions of rigidity for Souslin trees, separating them under ♦ into a hierarchy. Applying our methods to the automorphism tower problem in group theory, we show under ♦ that there is a group whose automorphism tower is highly malleable by forcing.
متن کاملThe Height of the Automorphism Tower of a Group Sh810
For a group G with trivial center there is a natural embedding of G into its automorphism group, so we can look at the latter as an extension of the group. So an increasing continuous sequence of groups, the automorphism tower, is defined, the height is the ordinal where this becomes fixed, arriving to a complete group. We show that for many such κ there is such a group of cardinality κ which i...
متن کاملInfinitely Generated Free Nilpotent Groups: Completeness of the Automorphism Groups
Baumslag conjectured in the 1970s that the automorphism tower of a finitely generated free group (free nilpotent group) must be very short. Dyer and Formanek [9] justified the conjecture concerning finitely generated free groups in the “sharpest sense” by proving that the automorphism group Aut(Fn) of a non-abelian free group Fn of finite rank n is complete. Recall that a group G is said to be ...
متن کامل